" Markus Müller-Olm" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Variations on Constants: Flow Analysis of Sequential and Parallel Programs (Lecture Notes in Computer Science Programming and Software Engineering)

Markus Müller-Olm

Категория: Компьютеры

1.74 Mb

#2

Verification, Model Checking, and Abstract Interpretation, 10 conf., VMCAI 2009

Neil D. Jones, Markus Müller-Olm

Категория: Cs_Computer science, CsLn_Lecture notes

3.93 Mb

#3

Modular Compiler Verification - A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Markus Müller-Olm

Категория: CsLn_

1.74 Mb

#4

Variations on Constants: Flow Analysis of Sequential and Parallel Programs

Markus Müller-Olm

Категория: Cs_Computer science, CsLn_Lecture notes

1.12 Mb

#5

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings ... Computer Science and General Issues)

Neil D. Jones, Markus Müller-Olm

5.07 Mb